Lagrange theorem proof